<html>
<head><meta charset="utf-8"><title>I-prioritize #79658 Parsable associated enum constructor · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html">I-prioritize #79658 Parsable associated enum constructor</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="218787236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218787236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218787236">(Dec 04 2020 at 02:52)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/79658">#79658</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="218787362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218787362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218787362">(Dec 04 2020 at 02:52)</a>:</h4>
<p>Doesn't seem to be a regression, but looks like P-high to me</p>



<a name="218796065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218796065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218796065">(Dec 04 2020 at 05:36)</a>:</h4>
<p>is this even a bug? I think this would be a langauge change if it parsed</p>



<a name="218796069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218796069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218796069">(Dec 04 2020 at 05:36)</a>:</h4>
<p>which means it doesn't make sense to prioritize</p>



<a name="218805359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218805359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218805359">(Dec 04 2020 at 08:38)</a>:</h4>
<p>this looks like a feature request to me</p>



<a name="218805447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218805447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218805447">(Dec 04 2020 at 08:39)</a>:</h4>
<p>though it is a really sensible one as tuple  variants work and only ones with named fields don't</p>



<a name="218892666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218892666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218892666">(Dec 04 2020 at 21:20)</a>:</h4>
<p>I guess it might be a lang change, but is it an intentional lang decision that it's this way, or was it something that just wasn't caught during implementation?</p>



<a name="218892702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218892702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218892702">(Dec 04 2020 at 21:21)</a>:</h4>
<p>I'm going to nominate for T-lang T-compiler</p>



<a name="218892726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218892726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218892726">(Dec 04 2020 at 21:21)</a>:</h4>
<p>Note that rylev self-assigned this issue</p>



<a name="218894569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/218894569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#218894569">(Dec 04 2020 at 21:39)</a>:</h4>
<p>From petrochenkov:</p>
<blockquote>
<p>It's intended in the sense that qualified paths <code>&lt;Foo as Bar&gt;::Baz</code> are so useless in</p>
<p>- struct expression,</p>
<p>- struct pattern, and</p>
<p>- tuple struct pattern</p>
<p>contexts that nobody ever bothered implementing them.</p>
<p>Name resolution and type checking support for associated items in these positions was implemented in late 2016 (<a href="https://github.com/rust-lang/rust/issues/37035">#37035</a>), starting from that point the surface syntax for qualified paths could be added at any point.</p>
<p>I guess they can be supported now for consistency.</p>
</blockquote>
<p>I don't know enough about FQS (I still haven't found a use for it) to fully understand what they're saying, but it seems like they think it's fine to support this. Probably should still wait for the rest of the team to talk about it though.</p>



<a name="219361574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/219361574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#219361574">(Dec 09 2020 at 16:32)</a>:</h4>
<p>Since it has been nominated to be discussed during T-compiler tomorrow's meeting, I'd suspend assigning a priority, then let's see</p>



<a name="219402227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/219402227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#219402227">(Dec 09 2020 at 21:39)</a>:</h4>
<p>(apiraino removed I-nominated on suggestion from spastorino)</p>



<a name="219671565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/219671565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#219671565">(Dec 11 2020 at 22:44)</a>:</h4>
<p>Perhaps P-medium?</p>



<a name="220138489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/220138489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#220138489">(Dec 16 2020 at 16:31)</a>:</h4>
<p>Probably yes a <code>P-medium</code> at this point sounds ok. It also looks to be taken care of by <span class="user-mention silent" data-user-id="224872">Ryan Levick</span></p>



<a name="220138663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/220138663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#220138663">(Dec 16 2020 at 16:32)</a>:</h4>
<p>well ... perfect timing ... the PR just appeared :D</p>



<a name="220138692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379658%20Parsable%20associated%20enum%20constructor/near/220138692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379658.20Parsable.20associated.20enum.20constructor.html#220138692">(Dec 16 2020 at 16:32)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/79658">#79658</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>